# Makefile for documentation

default :
	make -C .. html
	make -C ../../.. user-manual-test

# EOF
